@charset "utf-8";
/* CSS Document */

/*--------------------- General Styling ---------*/
* {
	padding: 0; margin: 0;
}

body {
	font-family: Arial, Helvetica, sans-serif;
	color: #000;
	background-color: #fff;
}

/*------------ Styles in Progress -----*/
p {
	line-height:20px;
}

dt {
	font-style: italic;
}

dd {
	margin-bottom: 5px;
}
/*------------ END Styles in Progress -----*/

div#superContainer {
	padding: 0 25px;
}

div#superContainer a:link, div#superContainer a:visited {
	color: #FDDB00;
	color: #333;
	text-decoration:underline;
}

div#superContainer a:hover {
	color: #2682c7;
	text-decoration: underline;
}

a img {
	border: none;
}

div#superContainer p {
	margin: 0 0 10px 0;
	padding: 0;
}

div#superContainer ul, div#superContainer ol {
	margin-bottom: 15px;
	margin-left: 20px;
}

div#superContainer li {
	line-height:18px;
	font-size:14px;
	margin: 5px 0;
}

div#superContainer hr {
	height: 2px;
	background-color: #ccc;
	border: none;
	margin: 15px 0 10px 0; padding: 0;
}

div#superContainer td {
	vertical-align:top;
}

div#superContainer h1{
	position: absolute;
	bottom:5px; left:0px;
	font-size:48px;
	font-weight:bold;
	color: #fff;
	padding-left: 10px;
	/*text-shadow: 1px 1px 3px #000;*/
	text-transform: uppercase;
}

div#superContainer h1.index{
	color:#fddb00;
	text-shadow: 1px 1px 2px #444;
}


div#superContainer h2 {
	font-size: 18px;
	font-weight: bold;
	color: #fff;
	color: #2682c7;
	margin: 0; padding:5px 0px 5px 0;
	/*text-shadow: 0px 0px 3px #2633ad;*/
	text-transform: uppercase;
}

div#superContainer h3, div#superContainer label {
	margin: 5px 0; padding: 0;
	font-size: 16px;
	color: #000;
	font-weight: bold;
}

div#superContainer code {
	display: block;
	padding: 10px;
}

div#superContainer dl {
	margin: 20px 0 20px 10px;
}

div#superContainer dt {
	font-weight: bold;
}

div#superContainer dd {
	margin-left: 10px;
}

/* screenshot styles */

a.screenshot img {
	border: 0;
	margin: 5px 0 15px 0; padding: 0;
}

/* --- begin main nav menu --- */

ul#primary-nav {
	list-style: none;
	margin: 0 0 5px 0; padding: 0 0 5px 0;
	width: 420px;
	border-bottom: 2px solid #666;
}

ul#primary-nav li {
	list-style: none;
	margin: 0 1em 0 0; padding: 0;
	display: inline;
}

ul#primary-nav li a:link, ul#primary-nav li a:visited {
	color: #fff;
	font-size: 20px;
	text-transform: uppercase;
	text-decoration: none;
}

ul#primary-nav li a.selected:link, ul#primary-nav li a.selected:visited {
	color: #fddb00;
}

ul#primary-nav li a:hover {
	color: #2682c7;
	text-decoration: underline;
}

ul#primary-nav li a.selected:hover {
	color: #2682c7;
}

ul#primary-nav  ul {
	display: none;
	list-style: none;
	margin: 0; padding: 0;
	position: absolute;
	top: 70px;
}

ul#primary-nav ul li {
	list-style: none;
	margin: 0 0.5em 0 0; padding: 0;
	display: inline;
}

ul#primary-nav ul.about {
	padding-left: 190px;
}

ul#primary-nav ul li a:link, ul#primary-nav ul li a:visited {
	font-size: 14px;
	/*color: #FDDB00;*/
	text-transform: none;
}

ul#primary-nav ul li a:hover {
/*color: #2682c7; */
}

/* --- end main nav menu --- */

/*------------------------- DIV Formatting ---*/

div#superContainer {
	width:960px;
	margin:auto;
}

table#headerTable {
	width: 960px;
	margin: 0 auto 20px auto; padding: 0 0 10px 0;
}

div#logoContainer {
	margin-top:19px;
	width:250px;
}

div#getProveIt {
	width:250px;
}
/*---- IMAGE ROLLOVER ----*/
div#getProveIt a:link, div#getProveIt a:visited {
	display: block;
	width: 250px; height: 100px;
	background: url(/img/get.jpg) no-repeat;
}

div#getProveIt a:hover {
	background: url(/img/get_rollover.jpg) no-repeat;
}
/*----END IMAGE ROLLOVER ----*/

div#leadInPic {
	width:960px;
	text-align:center;
	display: none;
}

div#mainBody {
	display: block;
	border-top: 2px solid #ccc;
	margin: 15px 0; padding: 15px 0 0 0;
	font-size: 14px;
	line-height: 18px;
	color: #000;
}

div#mainBody ol{
	margin-left:30px;
}

div#mainBody ol li{
	margin-bottom:2px;
}

table#mainTable {
	width: 940px;
	margin-left: 20px;
	margin-top: 15px;
	border-bottom: 2px solid #ccc;
}

td#mainContent {
	width: 661px;
}

/*------ Main Picture for Each Page-------*/

div#mainPic {
	position: relative;
	height: 193px;
	width: 661px;
	margin:0;
}

div#mainPic.index {
	background-image:url(/img/index.jpg);
	height: 375px;
}

div#mainPic.features {
	background-image:url(/img/features.jpg);
}

div#mainPic.tutorials {
	background-image:url(/img/tutorials.jpg);
}

div#mainPic.documentation {
	background-image:url(/img/documentation.jpg);
}

div#mainPic.screenshots {
	background-image:url(/img/screenshots.jpg);
}

div#mainPic.theteam {
	background-image:url(/img/theteam.jpg);
}

div#mainPic.research {
	background-image:url(/img/research.jpg);
}

div#mainPic.reportabug {
	background-image:url(/img/reportabug.jpg);
}

div#mainPic.install {
	background-image:url(/img/install.jpg);
}

div#mainPic.wiki {
	background-image:url(/img/wiki.jpg);
}

div#mainPic.gCode {
	background-image:url(/img/gCode.jpg);
}

div#mainPic.install {
	background-image:url(/img/install.jpg);
}

div#mainPic.userguide {
	background-image:url(/img/userguide.jpg);
}

div#mainPic.notfound {
	background-image:url(/img/notfound.jpg);
}

div#mainPic.credits{
	background-image:url(/img/credits.jpg);
}
/* END Main Picture for each Page */

/*** Picture Divs for USERS, DEVELOPERS, and ABOUT */

div#portal {
	padding: 10px 0; margin: 10px 0;
	border-bottom: 2px solid #ccc;
}

div#portal br {
	clear: both;
}

div#portal a.pic940 {
	display: block;
	height: 63px; width: 930px;
	margin: 0 10px 10px 10px; padding: 130px 0 0 10px;
	font-weight: bold;
	font-size: 48px;
	text-transform: uppercase;
/*text-shadow: 1px 1px 3px #000;*/
}

div#portal a.pic465 {
	display: block;
	height: 63px; width: 455px;
	padding: 130px 0 0 10px;
	font-weight: bold;
	font-size: 48px;
	text-transform: uppercase;
/*text-shadow: 1px 1px 3px #000;*/
}

div#portal  a:link, div#portal  a:visited {
	color: #fff;
	text-decoration: none;
}
div#portal a:hover {
	color: #2682c7;
	text-decoration: underline;
}

div#portal a.right {
	float: right;
	margin: 0 10px 10px 5px;
}

div#portal a.left {
	float: left;
	margin: 0 5px 10px 10px;
}

/*** END Picture Divs for USERS, DEVELOPERS, and ABOUT */
/*
  div#recommendationHeader {
  margin: 0px 10px 0px 10px;
  font-weight:bold;
  color:#fddb00;
  text-indent: 10px;
  font-size:36px;
  text-shadow: 1px 1px 2px #2633ad;
  border-bottom: #fddb00 2px solid;
  }

div.recommend {
position:relative;
background-color:#FFF;
margin:10px 10px 25px 10px;
width:323px;
height:80px;
}

div.recommend.left {
float:left;
}

div.recommend.right {
float:right;
}

div.recommendText {
display:block;
position:absolute;
font-size:18px;
margin-top:10px;
}

div.recommendText.firstLine {
bottom:40px;
left:10px;
color:#2682c7;
text-shadow: 0px 0px 1px #777;
}

div.recommendText.secondLine {
bottom:20px;
left:10px;
}
*/
td#sideTableofContents {
	/*	width:254px;*/
	text-align:right;
	padding-left: 20px;
}
td#sideTableofContents h2 {
	font-size: 24px;
}
td#sideTableofContents li {
	list-style: none;
	margin: 10px 0;
}
td#sideTableofContents li.feedback {
	font-size: 18px;
	margin: 15px 0;
}
td#sideTableofContents span.name {
	font-size: 11px;
	white-space: nowrap;
	color: #666;
}

/*--- footer divs --- */

table#footer {
	margin: 15px 0;
	font-size: 12px;
	width: 100%;
	border-collapse: collapse;
	color: #ccc;
}
table#footer td {
	vertical-align: middle;
}

td#footerLogo {
	width: 150px;
	padding-left: 10px;
}

td#footerNav {
	padding-left: 130px;
}
td#footerNav a.selected:link, td#footerNav a.selected:visited {
	color: #000;
	font-weight: bold;
}

td#footerCredits {
	width: 274px;
	text-align: right;
}

/*------------------------- END DIV Formatting ---*/

/*-- Recommendations Hyperlinks--*/

a.recommendLink:link, a.recommendLink:visited, a.recommendLink:active {
	display:block;
	color:#000;
	font-weight:bold;
}

a.recommendLink:hover {
	text-decoration:underline;
}

/*-- END Recommendations Hyperlinks--*/

/* Begin Demo */

form#demoForm fieldset {
	border: none;
}

form#demoForm label {
	display: block;
	margin: 10px 0 5px 0;
}

input#articleBtn {
	padding: 0 5px; margin: 0 0 0 10px;
	font-weight: bold;
}

#proveit div.expanded button {
	margin: 0.3em 0 0.1em 0;
}


/* End Demo */

/* Begin Install */
.otherLang {
	display: none;
}
/* End Install */